On the homeomorphism problem for 4-manifolds
نویسندگان
چکیده
We show that there is no algorithm to decide whether or not a given 4-manifold homeomorphic the connected sum of 12 copies $S^2 \times S^2.
منابع مشابه
the algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولOn Effective Decidability of the Homeomorphism Problem
Here is investigated a class of non-compact surfaces without boundary for which the homeomorphism problem is decidable in an eeective way. These surfaces, called equational, are characterized by three equivalent properties of global regularity concerning triangulations, innnite connected sums and ideal boundary. Here we investigate eeective computability of the homeomorphism problem for triangu...
متن کاملThe Homeomorphism Problem for Countable Topological Spaces
We consider the homeomorphism problem for countable topological spaces and investigate its descriptive complexity as an equivalence relation. It is shown that even for countable metric spaces the homeomorphism problem is strictly more complicated than the isomorphism problem for countable graphs and indeed it is not Borel reducible to any orbit equivalence relation induced by a Borel action of ...
متن کاملEfficient Algorithms for the Tree Homeomorphism Problem
Tree pattern matching is a fundamental problem that has a wide range of applications in Web data management, XML processing, and selective data dissemination. In this paper we develop efficient algorithms for the tree homeomorphism problem, i.e., the problem of matching a tree pattern with exclusively transitive (descendant) edges. We first prove that deciding whether there is a tree homeomorph...
متن کاملHomeomorphism Groups of Manifolds and Erdős Space
Let M be either a topological manifold, a Hilbert cube manifold, or a Menger manifold and let D be an arbitrary countable dense subset of M . Consider the topological group H(M,D) which consists of all autohomeomorphisms of M that map D onto itself equipped with the compact-open topology. We present a complete solution to the topological classification problem for H(M,D) as follows. If M is a o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: New Zealand journal of mathematics
سال: 2022
ISSN: ['1171-6096', '1179-4984']
DOI: https://doi.org/10.53733/205